/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package chameleon.view.command;

import chameleon.view.input.Input;

/**
 *
 * @author simon
 */
class HelpCommand extends Command {

    public HelpCommand(Input input) {
        super (input,false,false);
    }

    @Override
    public Input execute() {
        outputManager_.displayString(""
                + "read_model\n"
                + "build_model\n"
                + "addTransition\n"
                + "solve_game\n"
                + "write_flat_model\n"
                + "check_reach_target\n"
                + "check_reach_deadlock\n"
                + "check_avoid_target\n"
                + "check_avoid_deadlock\n"
                + "check_buchi_game\n"
                + "check_ltl_game\n"
                + "check_GR_game\n"
                + "compute_pre_image\n"
                + "compute_strategy\n"
                + "print_strategy\n"
                + "modify_order_strategy\n"
                + "write_flat_model\n"
                + "write_order\n"
                + "show_vars\n"
                + "extract_subset\n"
                + "check_strategy_is_winning\n"
                + "quit\n"
                + "To have more information about one command use flag -h\n");
        return input_;
    }

}
